161. Algebraic Logic and Universal Algebea in Computer Science Confrence...Proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Algebraic logic,Congresses ، Algebra, Universal

رده :
QA
76
.
L4
v
.
425

162. Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988 Proceedings

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Algebraic logic- Congresses,، Algebra, Universal- Congresses

رده :
QA
10
.
A45
1990

163. Algebraic and logic programming :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebraic logic-- Congresses,Logic programming-- Congresses

رده :
QA76
.
6
.
A45843
1994

164. Algebraic and logic programming :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.

رده :
QA76
.
6
J473
1989

165. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
343

166. Algebraic and logic programming : Second International Conference, Nancy, France, October 1-3, 1990 : Proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
463

167. Algebraic and logic programming : Third International Conference, Volterra, Italy, September 2-4, 1992 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
632

168. Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
6
.
A4583
1988

169. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
10
.
I5
1988

170. Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses

رده :
QA
76
.
6
.
A4584
1990

171. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
1139

172. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic

رده :
QA
76
.
L28
Vol
.
850

173. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(

رده :
QA
76
.
L28
Vol
.
1298

174. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses

رده :
QA
76
.
6
.
A45842
1992

175. Algebraic coding theory and information theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)

موضوع : Information theory in mathematics, Congresses,Coding theory, Congresses,Algebraic logic, Congresses

رده :
003
,.
54
,.
A44
,
2005

176. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic

رده :
QA
10
.
4
.
A44
2005

177. Algebraic coding theory and information theory: DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic

رده :
QA
10
.
4
.
A44

178. Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Information theory in mathematics,Congresses ، Coding theory,Congresses ، Algebraic logic

رده :
QA
10
.
4
.
D55
2003

179. Algebraic informatics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.

رده :
QA76
.
7

180. Algebraic logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebraic logic-- Congresses